properties of determinant of a matrix